1681. Subsystems of Second Order Arithmetic
پدیدآورنده: by Stephen G. Simpson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Logic, Symbolic and mathematical.,Mathematics.
رده :
HF1008
.
B978
1999
1682. Surrogate-Based Modeling and Optimizatio
پدیدآورنده: / edited by Slawomir Koziel, Leifur Leifsson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer science, Mathematics,Mathematical optimization,Astronautics,Electronic books
رده :
E-BOOK
1683. Sustained Simulation Performance 2018 and 2019
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer mathematics. ; Computer simulation. ; Applied mathematics. ; Engineering mathematics. ; Computational Science and Engineering. ;
1684. Symbolic Algebraic Methods and Verification Methods
پدیدآورنده: edited by Götz Alefeld, Jiří Rohn, Siegfried Rump, Tetsuro Yamamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebra -- Data processing.,Computer science.,Mathematics.
رده :
QA76
.
9
.
M35
E358
2001
1685. Symbolic computation : applications to scientific computing
پدیدآورنده: edited by Robert Grossman
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
رده :
TA
331
.
S95
1989
1686. Symmetry Orbits
پدیدآورنده: by Hugo F. Verheyen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Group theory.,Mathematics.
1687. Synthesis of computational structures for analog signal processing
پدیدآورنده: / Cosmin Radu Popa
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Signal processing--Mathematics,Data structures (Computer science),Computer programming
رده :
TK5102
.
9
.
P65
2011
1688. Synthesis of computational structures for analog signal processing
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Signal processing ; Mathematics. ; Data structures (Computer science) ; Computer programming. ;
1689. Synthesis of computational structures for analog signal processing
پدیدآورنده: / Cosmin Radu Popa
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Signal processing--Mathematics,Data structures (Computer science),Computer programming.
رده :
TK
,
5102
.
9
,.
P65
,
2011
1690. Synthesis of computational structures for analog signal processing
پدیدآورنده: Popa, Cosmin Radu., Cosmin Radu Popa
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع: ، Signal processing, Mathematics,، Data structures )Computer science(,، Computer programming
رده :
TK
5102
.
9
.
P65
2011
1691. Systems of Conservation Laws
پدیدآورنده: by Yuxi Zheng.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Mathematics.,Global analysis (Mathematics).,Mathematics.
1692. Systolic Computations
پدیدآورنده: by M.A. Frumkin.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science.,Mathematics.,Software engineering.
1693. Teaching and Learning Discrete Mathematics Worldwide
پدیدآورنده: \ Eric W. Hart, James Sandefur, Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science -- Mathematics,Mathematics -- Study and teaching,علوم کامپیوتر -- ریاضیات,ریاضیات -- راهنمای آموزشی
رده :
E-Book
,
1694. Teaching computing :
پدیدآورنده: Henry M. Walker.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer science-- Study and teaching (Higher),Computer engineering.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Information technology-- Management.
رده :
QA76
.
27
1695. Ten applications of graph theory
پدیدآورنده: Hansjoachim Walther.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer Science.,Discrete Mathematics in Computer Science.,Graph theory.
رده :
QA166
.
H367
9999
1696. The Combinatory Programme
پدیدآورنده: by Erwin Engeler.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Combinatorial analysis.,Computer science -- Mathematics.,Computer science.
رده :
QA9
.
5
B947
1995
1697. The Courant - Friedrichs - Lewy (CFL) condition :
پدیدآورنده: Carlos A. de Moura, Carlos S. Kubrusly, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Courant, Richard,1888-1972,Friedrichs, K. O., (Kurt Otto),1901-1983,Lewy, Hans,1904-,Computer science-- Mathematics,Differential equations, Partial,Engineering mathematics,Information theory,Numerical analysis
رده :
QA297
.
C685
2013
1698. The Courant - Friedrichs - Lewy (CFL) condition :
پدیدآورنده: Carlos A. de Moura, Carlos S. Kubrusly, editors
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Courant, Richard,1888-1972,Friedrichs, K. O., (Kurt Otto),1901-1983,Lewy, Hans,1904-,Computer science-- Mathematics,Differential equations, Partial,Engineering mathematics,Information theory,Numerical analysis
رده :
QA297
.
C685
2013
1699. The Essentials of finite and discrete Math
پدیدآورنده: / Directed by M. Fogiel
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع: Computer science-- mathematics,Mathematics
رده :
005
.
10151
E78
1700. The Finite Element Method: Theory, Implementation, and Application
پدیدآورنده: / by Mats G. Larson, Fredrik Bengzon
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Mathematics,Computer aided design,Differential equations, partial,Computer science, Mathematics,Computer science,Mechanics, applied,Electronic books
رده :
E-BOOK
